Opportunistically Parallel Lambda Calculus
dl.acm.orgยท22hยท
Discuss: Hacker News
๐Ÿ”—Functional Compilers
Flag this post
Java Generics and Collections โ€ข Maurice Naftalin & Stuart Marks โ€ข GOTO 2025
youtube.comยท1d
ฮปLambda Formalization
Flag this post
Down with template (or not)!
cedardb.comยท20h
๐ŸŽฏGradual Typing
Flag this post
Issue 496
haskellweekly.newsยท1d
๐Ÿ”—Functional Compilers
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.meยท2dยท
ฮปLambda Encodings
Flag this post
Interfacing assembly with BASIC via DEFUSR, part 7
subethasoftware.comยท1d
๐Ÿ”งRISC-V Assembler
Flag this post
Building a Visual Diff System for AI Edits (Like Git Blame for LLM Changes)
news.ycombinator.comยท21mยท
Discuss: Hacker News
๐ŸŽฏGradual Typing
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.comยท2hยท
Discuss: Hacker News
๐Ÿ”จCompilers
Flag this post
Falcon: A Comprehensive Chinese Text-to-SQL Benchmark for Enterprise-Grade Evaluation
arxiv.orgยท1d
๐Ÿ‡จ๐Ÿ‡ณChinese Computing
Flag this post
Rdza โ€“ Rust Programming, in Polish
github.comยท10hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.comยท5hยท
๐Ÿ”’Type Safety
Flag this post
Stop Writing Code, Start Writing Docs
thenewstack.ioยท54m
โš™๏ธTLA+
Flag this post
LLM Experimentation: Optimizing My Journaling Agent
dev.toยท1dยท
Discuss: DEV
๐Ÿค–Grammar Induction
Flag this post
Nim 2.2.6
nim-lang.orgยท5hยท
Discuss: Hacker News
๐ŸŒณIncremental Parsing
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.comยท1d
๐Ÿ”—Combinatory Logic
Flag this post
ICU4X 2.1 released!
blog.unicode.orgยท21h
๐Ÿ”คUnicode Normalization
Flag this post
Show HN: I'm building an open source platform for studying Arabic
parallel-arabic.comยท4hยท
Discuss: Hacker News
๐Ÿ“ABNF Extensions
Flag this post
Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.comยท13h
โœ…Format Verification
Flag this post
Roadmap for Improving the Type Checker
forums.swift.orgยท19hยท
๐Ÿ’งLiquid Types
Flag this post